Inferencia lógica aplicando leyes del algebra proposicional